Skip to main content

Abstraction in the INTEL iAPX-432 prototype systems implementation language

Published April 1983


Cover title

"April 1983."

Bibliography: p. 23-24

This report describes the abstraction mechanism of a prototype systems implementaiton language for Intel's iAPX-432 microprocessor. Full exploitation of the 432's facilities places many demands on a language intended for systems implementation. The 432 is a capability-based machine, with hardware-enforced typing of large objects, dynamically instantiated domains (i.e., packages), hardware-enforced information information hiding (seals), and hardware-supported, software-defined access-rights (trademarks). The prototype language's support for these facilities is described in this project

Prepared for: Chief of Naval Research, Arlington, Virginia 22217

Technical report; 1983

Publisher Monterey, California : Naval Postgraduate School
Pages 34
Language en_US
Call number ocm80250414
Digitizing sponsor Naval Postgraduate School, Dudley Knox Library
Book contributor Naval Postgraduate School, Dudley Knox Library
Collection navalpostgraduateschoollibrary; fedlink; americana

Full catalog record MARCXML

[Open Library icon]This book has an editable web page on Open Library.


There are no reviews yet. Be the first one to write a review.